Probe: a formal specification-based testing system
نویسندگان
چکیده
The aim of software verification is determining how well the software conforms to its specification. Testing is the most popular method of software verification. For software testing to be done effectively, there is a need to select proper test cases such that all aspects of the software can be tested. This paper describes a new approach for specification-based testing. The formal specification of the software is used as the basis for generating test cases. Instead of generating test cases directly from the formal specification, they are generated from an executable PROLOG specification, which is translated from the formal specifications of the software under test. An automatic testing system called PROBE has been developed based on the new approach.
منابع مشابه
An automatic test case generator for evaluating implementation of access control policies
One of the main requirements for providing software security is the enforcement of access control policies which aim to protect resources of the system against unauthorized accesses. Any error in the implementation of such policies may lead to undesirable outcomes. For testing the implementation of access control policies, it is preferred to use automated methods which are faster and more relia...
متن کاملOffline Model-based Testing and Runtime Monitoring of the Sensor Voting Module
Formal specifications are widely used in the development of safety critical systems, as the Sensor Voting Module of the Landing Gear System. However, the conformance relationship between the formal specification and the concrete implementation must be checked. In this paper, we show a technique to formally link a Java class with its Abstract State Machine formal specification, and two approache...
متن کاملRefining Light-Weight Formal Specifications Validations using Black Box Testing and Code Coverage Analysis: An Electrocardiograph Application
Light-weight formal specifications are used to achieve a better understanding of the desired behavior of a system. The specification must correctly reflect the requirements that were expressed informally to the system being modeled. To validate specifications black-box testing technique had been widely used. Selecting test cases to validate the specification based only on the black-box testing ...
متن کاملA Formal TLS Handshake Model in LNT
Testing of network services represents one of the biggest challenges in cyber security. Because new vulnerabilities are detected on a regular basis, more research is needed. These faults have their roots in the software development cycle or because of intrinsic leaks in the system specification. Conformance testing checks whether a system behaves according to its specification. Here model-based...
متن کاملData and Control Flow Analysis of VDMμ Specifications
Formal Specification languages are being widely used for system specification and testing. Highly critical systems such as real time systems, avionics, and medical systems are represented using Formal specification languages. Formal specifications based testing is mostly performed using black box testing approaches thus testing only the set of inputs and outputs of the system. The formal specif...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1999